Summary

• Fix type inference to produce string[] instead of string for (x)* @names :: string
• Fix bytecode emission to use Text effect for array elements when :: string annotation present
• Add has_string_annotation() helper method on CapturedExpr

Why

The :: string annotation on quantified captures (* and +) was broken in two ways:

1. Type inference replaced the entire array type with string instead of replacing the element type
2. Bytecode emission always used Node effect for array elements, ignoring the annotation

This caused queries like (identifier)+ @names :: string to produce Node[] at runtime and incorrect TypeScript types.